stream = RngStream_CopyStream(sg_platf_rng_stream);
id_hash = xbt_str_hash(id);
RngStream_AdvanceState(stream, 0, (long)id_hash);
stream = RngStream_CopyStream(sg_platf_rng_stream);
id_hash = xbt_str_hash(id);
RngStream_AdvanceState(stream, 0, (long)id_hash);