=== BUILD rig_intree (-O2 -fno-builtin, verbatim byte loop) ===
=== BUILD rig_libc (-O2, strcpy -> libc/builtin) ===
=== BUILD rig_block (-O2, block-store model + guard page) ===
=== BUILD wrestrict_shim (-Wrestrict UB proof) ===
all built
==================================================