produce backtrace in check()