load-as-rewrite "WWA" "WW-Ass-A.hss"
flatten-module
binding-of 'fac
ww-split [| wrap |] [| unwrap |] (ww-AssA-to-AssC WWA)
bash-extended-with [ case-elim-inline-scrutinee , inline [ 'unwrap, 'wrap, '*, '- ] ]

{ [def-rhs, let-body] ; alpha-lam 'n } -- cosmetic