Abstract_computer (1)