Hi, I wonder:
Is there a way to "cast" a u32vector to a u8vector (except for creating a new one and writing to this)?
The reason I would like to do this is that u8vectors seems to be the fastest way to write to disk; read-subu8vector and write-subu8vector.
I could off course do this in C using the FFI, but I am not sure if the garbage-collector might suprise me if I tried this?
Is there a canonical way?
Cheers,
Petter Egesund