Tidy International: Tidy vs. Masif
compilation