include "primitives.alh" Integer function remainder(a : Integer, b: Integer): return integer_subtraction(a, integer_multiplication(integer_division(a, b), b))