DEFINITION MODULE MULDIV;

EXPORT QUALIFIED Muldiv;

PROCEDURE Muldiv(A, B, C : INTEGER) : INTEGER;

END MULDIV.
