5: @Foo.asInstanceOf[Int]