implemented JSON-format backtrace