sinterface Visitable {
  void visitUsing(IVF1 f);
}