start :: fn {
f := fn a: int {}
                  f(1)
}