(fun main
    (def name "bobby"))