Skinny atm compilation