/*
 *  Definitions for IO devices.  Used only in C.
 */