debugging rec