removed cons_util/push_cons_list