source: vis_dev/vis-2.1/examples/elevator/README @ 15

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