int A:mo (B b, int i) {
      int tmp;
      tmp = b.f;
      output_⊥ (tmp);
      tmp = tmp + i;
      return tmp;
}