These efuns deal with socket I/O.
