Read-only_right_moving_Turing_machines loading ...