module mkFoo(); Bool x = True; endmodule