rAKA/src/synchronizer/distributed_synchronizer_tmpl.hh

bugfixes/64bit-integer…848f0fd8c83b3018c4110a3…