class bound;

classtype int;

use Array: all;

export all;

bound makeBound( int a)
{
  return to_bound( a);
}

void updateBound( bound &b, int a)
{
  b = to_bound( a);
}

int getBound( bound &b)
{
   a = from_bound(b);
   b = to_bound(a);
   return a;
}