wishbone out port from b3 spec