#include "dbg-in-ofile.h" void my_six (int inval, int *outval) { int tmpval = inval * 6; *outval = tmpval; }