return 64;
Utils.fail("Trying to get integer value for push value in work function " + getName() + ", but the constant hasn't been resolved yet. " + push);
    public int getPushInt() {	// need int literal to get number      if (push instanceof JFloatLiteral) { //clleger	push = new JIntLiteral(null, (int) ((JFloatLiteral)push).floatValue());      }	if (!(push instanceof JIntLiteral)) {	    return 64;	    //Utils.fail("Trying to get integer value for push value in work function " + getName() + ", but the constant hasn't been resolved yet. " + push);	}	return ((JIntLiteral)push).intValue();    }