#include <iostream>
#include "arv7.h"

int main(void){
  Arv7 a1(12);
  cout << a1 << " " << a1(5) << endl;
  return 0;
}