> We want to write on a file byte after byte.
> In the documentation, it seems not to be possible whitout coding
> an int in 8 bytes.

The library function `output_byte' does just that.

Hope this helps,

- Xavier Leroy