(* Generated by SimpleM backend *)
MODULE Minimal;

END Minimal.