no-redundant-instrumentation-7.c 721 Bytes