What even is a correct compiler for gas-metered languages?

rubber-duck-typing.com