Bruno,

> In english: Xavier's arguments are very strong.  But within them (and
> the Unix library), I can't write a /bin/sh clone, because of >&3
> (here, and for Pawel.Wojciechowski, it would be enough to add a fun
> fileno : filedesc -> int, like the stdio macro) and <&3 -- but I
> thought about it for only 5 min.
As a hack, you can always write this:
let fileno (fd: file_descr): int = (Obj.magic fd)

But of course, you loose the safety of the abstract `file_descr' type.

--
Alexandre.