added the start of the machine definitions