More on making BinFormat work on its own