core-ir-and-pr

(1)