{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"const"}]}
    const OFFSET_IS_ADDR: bool = false;
    // so ptr-to-int casts are not possible (since we do not know the global physical offset).