factor out call to sms__bcast()
update TODO
translate 'stop' in serial regions to bring down all tasks
yes, array assignment (e.g. a=0) is supported for distributed arrays
update TODO