invariant_access.v 7.58 KB