(* Generated by SimpleM backend *) MODULE BadReturn; VAR x : INTEGER; BEGIN RETURN := x END BadReturn.