Symbol: print_ctid_detailed