trib compilation