{"ast_node_type":"variable","tokens":[{"end":59,"kind":"keyword","start":0,"text":"let"}]}
            let pretty_required = pretty_operand(required);
        AssertMessage::MisalignedPointerDereference { required, found } => {
            let pretty_found = pretty_operand(found);