with ORPL turned on, we should never reach this line