prelim instrumentation to ios compiler. printfs FOR THE MOMENT