some instrumentation of call arguments, not enabled by default