Himca p compilation