Source code for elevators