use BinaryFileInputStream::mk ()
use BinaryFileInputStream::mk ()