#!/bin/bash

size=$(stat --format="%s" $1)

printf "0: 1173 %.6x" $size | xxd -r -g0

cat $1 | tools/gzip --no-name --best | head --bytes=-8 | tail --bytes=+11