Abstract_machine_notation loading ...