[Hat] Tracing of standard libraries