public void visit_faload(final Instruction inst) {
		final Expr index = stack.pop(Type.INTEGER);
		final Expr array = stack.pop(Type.FLOAT.arrayType());
		final Expr top = new ArrayRefExpr(array, index, Type.FLOAT, Type.FLOAT);
		stack.push(top);
	}