a machine with a pump