This example has 2 elevators and 3 floors. The verilog code
uses a "for" construct, so that the .mv file should be made
with the -u option in vl2mv,i.e.
	vl2mv -u elevator.v