{"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":"*get_header(aligned)"}]}
        *get_header(aligned) = Header(ptr);
        let aligned = ptr.add(align - (ptr as usize & (align - 1)));
        aligned