DEFINE TYPE RegisteredPortType 
  ( value     : PortNumberType,
    min       : PortNumberType  STATIC :=   1024,
    max       : PortNumberType  STATIC :=  49151,
    default   : PortNumberType  STATIC :=   8080,
    units     : PortNumberType  STATIC := "PortNumber"
  ) AS
  PortNumberType
  ALLOWING NONULL
  WITH CONSTRAINTS
    ( VALUE     = default,
      MIN       = min,
      MAX       = max,
      DEFAULT   = default,
      UNITS     = units
    );

CREATE WebServerPortNumber = NEW WellKnownPortType ( value = 8080 );