/*** subtract_Array_Array() ***/
static Token subtract_Array_Array(Token a1, Token a2) {
    return $Array_subtract(a1, a2);
}
/**/

/*** subtract_Array_Double() ***/
static Token subtract_Array_Double(Token a1, double a2) {
    int i;
    Token result = $new(Array(((Array)(a1.payload)).size, 0));

    for (i = 0; i < ((Array)(a1.payload)).size; i++) {
        Array_set(result, i, $subtract_Token_Double(Array_get(a1, i), a2));
    }
    return result;
}
/**/

/*** subtract_Array_Integer() ***/
static Token subtract_Array_Integer(Token a1, int a2) {
    int i;
    Token result = $new(Array(((Array)(a1.payload)).size, 0));

    for (i = 0; i < ((Array)(a1.payload)).size; i++) {
        Array_set(result, i, $subtract_Token_Integer(Array_get(a1, i), a2));
    }
    return result;
}
/**/

/*** subtract_Array_Long() ***/
static Token subtract_Long_Array(Token a1, long long a2) {
    int i;
    Token result = $new(Array(((Array)(a1.payload)).size, 0));

    for (i = 0; i < ((Array)(a2.payload)).size; i++) {
        Array_set(result, i, $subtract_Token_Long(Array_get(a1, i), a2));
    }
    return result;
}
/**/

/*** subtract_Boolean_Boolean() ***/
static boolean subtract_Boolean_Boolean(boolean a1, boolean a2) {
    return a1 | a2;
}
/**/

/*** subtract_Boolean_Integer() ***/
int subtract_Boolean_Integer(boolean a1, int a2) {
    //return $subtract_Integer_Boolean(a2, a1);
}
/**/

/*** subtract_Complex_Complex() ***/
static Token subtract_Complex_Complex(Token a1, Token a2) {
    return Complex_new(((ComplexCG)a1.payload).real - ((ComplexCG)a2.payload).real,
        ((ComplexCG)a1.payload).imag - ((ComplexCG)a2.payload).imag);
}
/**/

/*** subtract_Complex_Integer() ***/
Token subtract_Complex_Integer(Token a1, int a2) {
    return Complex_new(((ComplexCG)a1.payload).real - a2);
}
/**/
/*** subtract_Double_Array() ***/
static Token subtract_Double_Array(double a1, Token a2) {
    int i;
    Token result = $new(Array(((Array)(a2.payload)).size, 0));

    for (i = 0; i < ((Array)(a2.payload)).size; i++) {
        Array_set(result, i, $subtract_Double_Token(a1, Array_get(a2, i)));
    }
    return result;
}
/**/

/*** subtract_Double_Double() ***/
double subtract_Double_Double(double a1, double a2) {
    return a1 - a2;
}
/**/

/*** subtract_Double_Integer() ***/
double subtract_Double_Integer(double a1, int a2) {
    return a1 - a2;
}
/**/

/*** subtract_Double_Token() ***/
static Token subtract_Double_Token(double a1, Token a2) {
    Token token = $new(Double(a1));
    return $subtract_Token_Token(token, a2);
}
/**/

/*** subtract_Integer_Array() ***/
static Token subtract_Integer_Array(int a1, Token a2) {
    int i;
    Token result = $new(Array(((Array)(a2.payload)).size, 0));

    for (i = 0; i < ((Array)(a2.payload)).size; i++) {
        Array_set(result, i, $subtract_Integer_Token(a1, Array_get(a2, i)));
    }
    return result;
}
/**/

/*** subtract_Integer_Boolean() ***/
int subtract_Integer_Boolean(int a1, boolean a2) {
    return a1 - (a2 ? 1 : 0);
}
/**/

/*** subtract_Integer_Integer() ***/
int subtract_Integer_Integer(int a1, int a2) {
    return a1 - a2;
}
/**/

/*** subtract_Integer_Token() ***/
static Token subtract_Integer_Token(int a1, Token a2) {
    Token token = $new(Integer(a1));
    //return $typeFunc(TYPE_Integer::subtract(token, a2));
    return $subtract_Token_Token(token, a2);
}
/**/

/*** subtract_Long_Array() ***/
static Token subtract_Long_Array(long long a1, Token a2) {
    int i;
    Token result = $new(Array(((Array)(a1.payload)).size, 0));

    for (i = 0; i < ((Array)(otherToken.payload)).size; i++) {
        Array_set(result, i, $subtract_Long_Token(a1, Array_get(a2, i)));
    }
    return result;
}
/**/

/*** subtract_Long_Long() ***/
long long subtract_Long_Long(long long a1, long long a2) {
    return a1 - a2;
}
/**/

/*** subtract_Long_Token() ***/
static Token subtract_Long_Token(long long a1, Token a2) {
    Token token = $new(Long(a1));
    return $subtract_Token_Token(token, a2);
}
/**/

/*** subtract_Token_Double() ***/
static Token subtract_Token_Double(Token a1, double a2) {
    Token token = $new(Double(a2));
    return $subtract_Token_Token(a1, token);
}
/**/

/*** subtract_Token_Integer() ***/
static Token subtract_Token_Integer(Token a1, int a2) {
    Token token = $new(Integer(a2));
    return $subtract_Token_Token(a1, token);
}
/**/

/*** subtract_Token_Token() ***/
static Token subtract_Token_Token(Token a1, Token a2) {
    Token result = null;
    switch (a1.type) {
#ifdef PTCG_TYPE_Complex
    case TYPE_Complex:
        switch (a2.type) {
            case TYPE_Complex:
                    result = Complex_add(a1, a2);
                break;
            default:
                System.out.println("add_Token_Token(): a1 is a Complex, "
                        + "a2 is a " + a2.type);
                result = null;

        }
        break;
#endif
#ifdef PTCG_TYPE_Double
    case TYPE_Double:
        switch (a2.type) {
            case TYPE_Double:
                    result = Double_new((Double)a1.payload - (Double)a2.payload);
                break;
#ifdef PTCG_TYPE_Array
            case TYPE_Array:
                    result = $subtract_Double_Array((Double)a1.payload, a2);
                break;
#endif
#ifdef PTCG_TYPE_Integer
            case TYPE_Integer:
                    result = Double_new((Double)a1.payload - (Integer)a2.payload);
                break;
#endif
            default:
                System.out.println("subtract_Token_Token(): a1 is a Double, "
                        + "a2 is a " + a2.type);
                result = null;

        }
        break;
#endif
#ifdef PTCG_TYPE_Integer
    case TYPE_Integer:
        switch (a2.type) {
            case TYPE_Integer:
                    result = Integer_new((Integer)(a1.payload) - (Integer)a2.payload);
                break;
#ifdef PTCG_TYPE_Array
            case TYPE_Array:
                    result = $subtract_Integer_Array((Integer)a1.payload, a2);
                break;
#endif
#ifdef PTCG_TYPE_Double
            case TYPE_Double:
                //FIXME: is this cast safe?
                    result = Integer_new((Integer)(a1.payload) - ((Double)a2.payload).intValue());
                break;
#endif
            default:
                System.out.println("subtract_Token_Token(): a1 is a Integer, "
                        + "a2 is a " + a2.type);

                result = null;

        }
        break;
#endif
    case TYPE_Array:
        switch (a2.type) {
            case TYPE_Array:
                    result = $Array_subtract(a1, a2);
                break;
#ifdef PTCG_TYPE_Double
            case TYPE_Double:
                    result = $subtract_Array_Double(a1, (Double)a2.payload);
                break;
#endif
#ifdef PTCG_TYPE_Integer
            case TYPE_Integer:
                    result = $subtract_Array_Integer(a1, (Integer)a2.payload);
                break;
#endif
            default:
                result = null;

        }
        break;
    default:
        System.out.println("subtract_Token_Token(): a1 is a " + a1.type
                        + "a2 is a " + a2.type);

        result = null;
    }

    if (result == null) {
        throw new InternalError("subtract_Token_Token_(): Subtract with an unsupported type. "
            + a1.type + " or " + a2.type);

    }
    return result;
}
void print_Token3(Token token) {
    switch (token.type) {
        case TYPE_Integer:
            System.out.println((Integer) token.payload);
            break;
        case TYPE_Array:
            $Array_print(token);
            break;
        default:
            System.out.println(token);
            break;
    }
}
/**/


/*** subtract_UnsignedByte_Array() ***/
static Token subtract_UnsignedByte_Array(int a1, Token a2) {
    int i;
    Token result = $new(Array(((Array)(a2.payload)).size, 0));

    for (i = 0; i < ((Array)(a2.payload)).size; i++) {
        Array_set(result, i, $subtract_UnsignedByte_Token(a1, Array_get(a2, i)));
    }
    return result;
}
/**/

/*** subtract_UnsignedByte_UnsignedByte() ***/
int subtract_UnsignedByte_UnsignedByte(int a1, int a2) {
    return a1 - a2;
}
/**/

/*** subtract_UnsignedByte_Integer() ***/
int subtract_UnsignedByte_Integer(int a1, int a2) {
    return a1 - a2;
}
/**/

/*** subtract_UnsignedByte_Token() ***/
static Token subtract_UnsignedByte_Token(int a1, Token a2) {
    Token token = $new(UnsignedByte(a1));
    return $subtract_Token_Token(token, a2);
}
/**/