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