:tolocal -> :sms_to_local (resp. halocomp, parallel, serial) for clarity
update TODO
update TODO
work on sms$create_decomp