Down-to-assembly compiler written in MetaCoffee