{"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"bx.range_metadata(size,"}]}
            bx.range_metadata(size, WrappingRange { start: 0, end: size_bound });
            let size_bound = bx.data_layout().ptr_sized_integer().signed_max() as u128;
            // Alignment is always nonzero.