Re: pdump_file_get (src/dumper.c)