Create ATM.rkt