trader.SingleProxy is exported
using generated orderbook.OfTrader