[ Value
    { symbolModule = ModuleName "Main" , symbolName = Ident "main" }
]