#lang plait
(define f
  (lambda (x y)
    (if x
        (+ y 1) (+ y 2))))