*** Derived: q_rec_cons_2_nil ***
