add prod_cons_cond.c