fix IntForProcedure