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