(* Generated by SimpleM backend *)
MODULE Bad;

END PROCEDURE.