IR: stub (from the slides)