no-redundant-instrumentation-15.c 416 Bytes