add instrumentation in translate.c