Instrumented squareroot.c