no-redundant-instrumentation-7.c 528 Bytes