(* Generated by SimpleM backend *) MODULE BadCall; VAR x : INTEGER; BEGIN x := 1; WriteInt := (x) END BadCall.