Use simpler IR API