template<typename int_type_, int_type_ wrap_val> 
class wrapping_int {
public:
  // types
  typedef int_type_ int_type;

  // construct/copy/destruct
  wrapping_int(int_type);

  // public member functions
  int_type as_int() const;
  operator int_type() const;
  int_type add(int_type) ;
  int_type subtract(int_type) ;

  // public static functions
  int_type wrap_value() ;
};