ILP_Object ilp_program () { { ILP_Object ilptmp31; ILP_Object ilptmp32; ilptmp31 = ILP_Integer2ILP(33); ilptmp32 = ILP_Integer2ILP(5); return ILP_Modulo(ilptmp31, ilptmp32); } }
ILP_Object ilp_program () { return ILP_Modulo( ILP_Integer2ILP(33) , ILP_Integer2ILP(5) ) ; }