1// -*- mode:c++ -*-
2
3////////////////////////////////////////////////////////////////////
4//
5// Integer operate instructions
6//
7output header {{
8#include <iostream>
9 using namespace std;
10 /**

--- 232 unchanged lines hidden ---