let cons_list = function x, l -> x :: l