if ( ! condition) throw new Exception("error");

ASSERT(condition, err_no);

void transfer_money(Account *from, Account *to, Money money)
{
    transaction transaction(...); //Создаем транзакцию
   
    //Вводим объекты в контекст транзакции
    LockedAccount *from_locked=from->enroll(transaction);
    LockedAccount *to_locked=to->enroll(transaction);

    //Перечисляем деньги
    Transfer  t(from_locked->get_money(money));
    to_locked->add_money(t.get_money());

    //Коммитим транзакцию
    transaction.commit();
}

void transfer_money(Account from, Account to, Money money)
{
    Transfer t=from.get_money();
    try
    {
       to.add_money(t);
       t=null;
    } finally
    {
       if (t!=null) t.cancel_transfer();
    }
}

...Our implementation was done in the Oberon System...

void transfer_money(Account *from, Account *to, Money money)
{
    transaction transaction(...); //Создаем транзакцию
   
    //Вводим объекты в контекст транзакции
    LockedAccount *from_locked=from->enroll(transaction);
    LockedAccount *to_locked=to->enroll(transaction);

    //Перечисляем деньги
    Transfer  t(from_locked->get_money(money));
    to_locked->add_money(t.get_money());

    //Коммитим транзакцию
    transaction.commit();
}

PROCEDURE TransferMoney (src, dst: Account; m: Money; log: Log): BOOLEAN;
  VAR r: BOOLEAN; t: Transaction; s, d: LockedAccount; x: Transfer;

   PROCEDURE BeginTransfer;
   BEGIN (*...*)
   END BeginTransfer;

   PROCEDURE GetMoney (): BOOLEAN;
   BEGIN (*...*)
   END GetMoney;

   PROCEDURE AddMoney (): BOOLEAN;
   BEGIN (*...*)
   END AddMoney;

   PROCEDURE Enroll (a: Account; OUT b: LockedAccount): BOOLEAN;
   BEGIN (*...*)
   END Enroll;

   PROCEDURE Commit (): BOOLEAN;
   BEGIN (*...*)
   END Commit;

   PROCEDURE EndTransfer;
   BEGIN (*...*)
   END EndTransfer;

BEGIN r := (src # NIL) & (dst # NIL) & (m > 0);
  IF r THEN
    BeginTransfer;
    r := Enroll(src, s) & Enroll(dst, d) & GetMoney() & AddMoney() & Commit();
    EndTransfer
  END;
  RETURN r
END TransferMoney;

For system exceptions, which are triggered automatically, the system will generate a call to the
procedure Raise as if they were user exceptions.