#lang smol/fun
(deffun (f x) (+ x 1))