Instrumented embedded.c