typedef binary_stream_read_func = Void Function( Pointer<Void>, // stream Pointer<Void>, // data Uint64);