instrumentation

add (simple) symbol resolving, minor changes in parameter names and thread id