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