
  TYPE
    ost$quantum = 0 .. 7fffffff(16);
