[stdout] caught BadInput
error return trace (most recent call last):
  leaf at 243-trace-format.sx:20:16
  mid at 243-trace-format.sx:25:5
[stdout] recovered; trace buffer now empty (len 0)
