fixed dist type in print_rt_ptr