{"ast_node_type":"other","tokens":[{"end":95,"kind":"keyword","start":0,"text":"//"}]}
                        // then `base + offset` has a non-zero remainder after division by `N`,
                        // If the allocation is N-aligned, and the offset is not divisible by N,
                        // which means `base + offset` cannot be null.