Nasty atm compilation