public int Mul(Integer i1, Integer i2) { return i1.value * value * i2.value; }
public static Integer ValueCtor(int _value) { Integer ret = new Integer() { value = _value }; return ret; }