21 INLINE RecorderHeader::
24 _random_seed = (int)_start_time;
32 INLINE RecorderHeader::
34 _start_time(copy._start_time),
35 _random_seed(copy._random_seed)
44 INLINE
void RecorderHeader::
46 _start_time = copy._start_time;
47 _random_seed = copy._random_seed;
55 INLINE RecorderHeader::