WIDTH            Return width in bits                                Operator

  WIDTH record_name                 Returns the total number of bits
                                    reserved in the record definition

  WIDTH record_field_name           Returns the number of bits reserved for
                                    the field in the record definition

  WIDTH enum_name                   Returns the number of bits required to
                                    represent the maximum value in the
                                    enum definition