[ ... as before ]

interface bank
{
    [ ... as before ]

    boolean transaction(in trans transaction)
        raises (InvalidTransaction);
    short lastTransaction();
};