
  CONST
    dsc$min_ecc = (($INTEGER ('D') * 100(16)) + $INTEGER ('S')) * 1000000(16),
    dsc$max_ecc = dsc$min_ecc + 9999;

  CONST
    dsc$display_processor_id = 'DS';

