UnboundedSingleElevator some pseudocode