let print_tlen = function Some x -> Int.to_string x | None -> "0"