Implement multithreaded tracer.
Count each function only once in each thread.
Improve reaction to SIGINT.
Add a crutch against mysterious deadlock.