PROCEDURE Printf() ENDPROCEDURE