Re: [crash] segv in print_internal