{"ast_node_type":"other","tokens":[{"end":24,"kind":"keyword","start":0,"text":"cx.validate_operand("}]}
    cx.validate_operand(
    // there is no point in resetting provenance and padding.
        &allocated.into(),