rgrig/papers — comment on commit 52d68dced97602c499e53003adab3d1b2b2d331f
File: safety/code/instrumenter.ml line 712
By rgrig:

What is 50?