What is the policy on implementing system-specific functions within Stdio.File? I've implemented support for the notify-functions within the Linux kernel which fits very well into the Stdio.File module but I'm not sure they belong there since they are Linux-specific.