DEFINITION MODULE CONVERT ; PROCEDURE INT( a : CARDINAL ) : INTEGER ; PROCEDURE CARD( b : INTEGER ) : CARDINAL ; END CONVERT .