start :: fn {
    f := fn a:int { a <=> 1 }
    f! 1

}