no-redundant-instrumentation-6.c 873 Bytes