sophia: add basic tracing