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