{"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"//!"}]}
//! if the size is 0, then the pointer can also be a (properly aligned, non-null)
//! have a "size"-like parameter, and they take `Scalar` for the address because
//! integer. It is crucial that these operations call `check_align` *before*