let print_seq = function Some x -> x | None -> "*"