FixVault

Circuit/System Verification

Verify that U0077 is not set.