Hoatpie compilation