main: Avoid hardcoded number of elevators.