module mkFoo(); Bool x; x = True; endmodule