Better print_t