module mkEmptyModuleInterface();
endmodule: mkEmptyModuleInterface