1 2
chris3.bpl(17,2): Error: The callee is not available in the caller procedure 1 type checking errors detected in chris3.bpl