let sym_is_cdr = function Pair(Cdr-> true | _ -> false