a smaller demo dump file