abstract_machines