let defines_il0 x = x.il0_defines