implement DWFC.nextPendingFlush()
fix DWTP by using free/locked queues; use channel/wait to iterate through individual states