Alternating_Turing_machine loading ...