arbtt-0.12: tests/empty_dump.out