case INVOKEINTERFACE: case INVOKESPECIAL: case INVOKEVIRTUAL: case INVOKESTATIC: case ARRAYLENGTH:
	private void scanForDanger(int seen) {		switch (seen) {		case INVOKEINTERFACE:		case INVOKESPECIAL:		case INVOKEVIRTUAL:		case INVOKESTATIC:		case ARRAYLENGTH:		case AALOAD:		case BALOAD:		case SALOAD:		case CALOAD:		case IALOAD:		case LALOAD:		case FALOAD:		case DALOAD:		case IDIV:		case IREM:		case GETFIELD:			sawDanger = true;			break;		default:			break;		}	}