invariant_value_first.ll 742 Bytes