tracing, counting literals