¹The idea is that this program is optimised, and then converted into an equivalent machine-language program for a particular machine.