This led to some minor changes to logic_clocks. Hopefully making it more robust...
Attach a file by drag & drop or click to upload