External Data Representation

         const MAXUSERNAME = 32;     /* long. máxima de nombre de usuario   */
         const MAXFILELEN = 65535;   /* long. máxima de un archivo          */
         const MAXNAMELEN = 255;     /* long. máxima de un mobre de archivo */
         /*
          * Tipos de archivos:
          */
         enum filekind {
            TEXT = 0,       /* datos ascii */
            DATA = 1,       /* datos raw   */
            EXEC = 2        /* ejecutable  */
         };
         /*
          * Información de archivo, por clase de archivo:
          */
         union filetype switch (filekind kind) {
         case TEXT:
            void;                           /* no hay información extra */
         case DATA:
            string creator<MAXNAMELEN>;     /* creador de datos         */
         case EXEC:
            string interpretor<MAXNAMELEN>; /* interprete de programas  */
         };
         /*
          * Un archivo completo:
          */
         struct file {
            string filename<MAXNAMELEN>; /* nombre de un archivo           */
            filetype type;               /* información acerca del archivo */
            string owner<MAXUSERNAME>;   /* dueño del archivo              */
            opaque data<MAXFILELEN>;     /* datos del archivo              */
         };