compile_pass TbTopLevel.bs
compile_verilog_pass TbTopLevel.bs mkTbTopLevel