Agda.Utils.IO.Binary
readBinaryFile'