PROCEDURE Bad(Values : ARRAY[0:9223372036854775808] OF INTEGER)
ENDPROCEDURE