(* synthesize *) module sysEmptyModule (); endmodule