no-redundant-instrumentation-12.c 470 Bytes