class IBranch
{
  static int DEPOSIT = 2;
  static int WITHDRAWL = 3;
  static int DEPOSIT_STATUS = 4;
  static int WITHDRAWL_STATUS = 5;
  
  static bool SEND = true;
  static bool RECV = false;

  static activate void Run ()
  {
    while (true) {
      select end visible {
        event(DEPOSIT,RECV) -> event(DEPOSIT_STATUS,SEND);
        event(WITHDRAWL,RECV) -> event(WITHDRAWL_STATUS,SEND);
      }
    }
  }  
};