
  CONST
    osc$max_random_name = 0ffffffff(16);

  TYPE
    ost$randomized_name = 0 .. osc$max_random_name;
