HERSELF compilation