Big Tis Compilation Extended Version

!!!!