modified:   worker-double.c
modified:   worker.c
finally working :D
- commenting element_final print
- fixing wrong element_final pointer enumeration in worker->master
return