include stdio.h in the generated code if --enable-volatile-tests is passed
pass -injection child to the pintool