M2compiler-V3/compiler/tests/sep_empty.def

DEFINITION MODULE SepEmpty;
(* Library without a BEGIN body: its object still exports SepEmpty_init. *)
PROCEDURE Answer () : INTEGER;
END SepEmpty.