Dynamic tracing utilities and tests for Erlang/OTP