reg028.idr:5:1:
tbad.bad is possibly not total due to: with block in tbad.bad
reg028a.idr:11:1:
tbad.qsort' is possibly not total due to: with block in tbad.qsort'