hermit-0.3.0.0: examples/concatVanishes/QSort.hss
define-script "do-the-ww-split" "binding-of 'qsort ; ww-result-split-static-arg 2 [0] [| absH |] [| repH |] WWC" load-and-run "ConcatVanishes.hss"
define-script "do-the-ww-split" "binding-of 'qsort ; ww-result-split-static-arg 2 [0] [| absH |] [| repH |] WWC" load-and-run "ConcatVanishes.hss"