* runtime_finstrument.cpp: New file implements no plugin.