{
{ dmt$device_position
{

  TYPE
    dmt$device_position = dmc$min_device_position .. dmc$max_device_position,

    dmt$position_sum = 0 .. dmc$max_position_sum;

  CONST
    dmc$min_device_position = 0,

    dmc$max_device_position = 6828,

    dmc$max_position_sum = dmc$max_device_position * (dmc$max_device_position
          + 1) DIV 2;
