{"ast_node_type":"other","tokens":[{"end":21,"kind":"keyword","start":0,"text":"size,"}]}
                size,
                place.ptr(),
                CheckInAllocMsg::Dereferenceable, // will anyway be replaced by validity message