module Bank {
  exception InsufficientFunds {
    float currentBalance;
  };

  interface Account {
    attribute wstring name;
    readonly attribute unsigned long ssn;
    readonly attribute float balance;
    void withdraw (in float amount) raises (InsufficientFunds);
    void deposit (in float amount);
  };
};