define-script "do-the-ww-split" "binding-of 'flatten ; ww-result-split-static-arg 1 [0] [| absH |] [| repH |] WWC" load-and-run "ConcatVanishes.hss"