DEFINITION MODULE RealInOut ; VAR Done : BOOLEAN ; PROCEDURE ReadReal( VAR real : REAL ) ; PROCEDURE WriteReal( real : REAL; n : CARDINAL ) ; END RealInOut .