Example: before and after the transformation
	Shared<double> a(100); Shared<double> b; sdsm_main(){       b = (double*)              malloc(sizeof(double) * 10);       b[0] = a[0]; }; sdsm_init(){       a[0] = 10.0; }; sdsm_done(){ ... };