More detailed traces in spec failures
Extract LoopLock into a spec support file