{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"///"}]}
    /// The size of the value a pointer can be offset by in this address space.
    pointer_align: AbiAlign,
    pointer_offset: Size,