An elevator dispatcher.