Verified MreDebr