more files from lab 10 finite state machine traffic light controller