insertion compilation