PROCEDURE Bad(Value : INTEGER, value : INTEGER)
ENDPROCEDURE