module

public def f3 (x : Nat) :=
  x + 1

@[expose] public def f4 (x : Nat) :=
  x + 1