Type A Machines