{"ast_node_type":"other","tokens":[{"end":92,"kind":"keyword","start":0,"text":"//"}]}
                // user-defined layout* since the user controls the 'allocator' field. So it
                // a dereferenceable pointer, on the other hand has *basically arbitrary
                // cannot be treated like a normal pointer, since it does not fit into an