Your browser does not seem to support JavaScript. As a result, your viewing experience will be diminished, and you have been placed in read-only mode.
Please download a browser that supports JavaScript, or enable it if it's disabled (i.e. NoScript).
xr0[^]: Xr0 is a verifier for C
xr0[^]:
Xr0 is a verifier for C
"Unless of course you can tell me that it's safe."
