=== the EXACT lookup argv the proof uses, run 6x back to back (~15s of continuous holding if it locks) ===
lookups-done
19:15:15 locks=0
19:15:19 locks=0
19:15:23 locks=0
19:15:27 locks=0
19:15:31 locks=0
19:15:35 locks=0
19:15:39 locks=0
