{"ast_node_type":"other","tokens":[{"end":86,"kind":"keyword","start":0,"text":"Some(GlobalAlloc::Function"}]}
            Some(GlobalAlloc::Function { .. }) => throw_ub!(DerefFunctionPointer(id)),
            }
            Some(GlobalAlloc::VTable(..)) => throw_ub!(DerefVTablePointer(id)),