trans-compilation (117.712)

Trans compilation