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'