A machine used to raise the pressure of air is called