revise Tr_procEntryExit(...)