{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"//"}]}
                    // Check allocation alignment and offset alignment.
                } else {
                    if alloc_info.align.bytes() < align.bytes() {