On Sat, 2020-06-13 at 23:22 +0100, Jonny Grant wrote: > > That looks useful. Is "sleepers" the entrypoint symbol name? It is the same info shown in the 'info thread' output.