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