#lang plait
(lambda (x)
  (if x
      (+ x 1) (+ x 2)))