Call push_fa_withdrawal_to_outbox in Outbox (0xff00…00003)
Call forward in NullAddress (0x0000…00000)
Call ticket_balance_remove in TicketTable (0xff00…00004)
Call get_and_increment in GlobalCounter (0xff00…00005)
Call withdraw by 0xb95f…35a3a
Call push_fa_withdrawal_to_outbox in Outbox (0xff00…00003)
Call forward in NullAddress (0x0000…00000)
Call ticket_balance_remove in TicketTable (0xff00…00004)
Call get_and_increment in GlobalCounter (0xff00…00005)
Call withdraw by 0xced3…18730
Call push_fa_withdrawal_to_outbox in Outbox (0xff00…00003)
Call forward in NullAddress (0x0000…00000)
Call ticket_balance_remove in TicketTable (0xff00…00004)
Call get_and_increment in GlobalCounter (0xff00…00005)
Call withdraw by 0x1c06…fb589
Call push_fa_withdrawal_to_outbox in Outbox (0xff00…00003)
Call forward in NullAddress (0x0000…00000)
Call ticket_balance_remove in TicketTable (0xff00…00004)
Call get_and_increment in GlobalCounter (0xff00…00005)
Call withdraw by 0x7803…59d3e
Call remove_deposit in TicketTable (0xff00…00004)
Call ticket_balance_add in TicketTable (0xff00…00004)
Call forward in NullAddress (0x0000…00000)
Call find_deposit in TicketTable (0xff00…00004)
Call claim by 0x199d…acdbf
Call remove_deposit in TicketTable (0xff00…00004)
Call ticket_balance_add in TicketTable (0xff00…00004)