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