tinyff: a small file format library