void replay_read_next_clock(ReplayClockKind kind)

{

    unsigned int read_kind = replay_data_kind - EVENT_CLOCK;



    assert(read_kind == kind);



    int64_t clock = replay_get_qword();



    replay_check_error();

    replay_finish_event();



    replay_state.cached_clock[read_kind] = clock;

}

void replay_read_next_clock(ReplayClockKind kind)

{

    unsigned int read_kind = replay_data_kind - EVENT_CLOCK;



    assert(read_kind == kind);



    int64_t clock = replay_get_qword();



    replay_check_error();

    replay_finish_event();



    replay_state.cached_clock[read_kind] = clock;

}

void FUNC_0(ReplayClockKind VAR_0)

{

    unsigned int VAR_1 = replay_data_kind - EVENT_CLOCK;



    assert(VAR_1 == VAR_0);



    int64_t clock = replay_get_qword();



    replay_check_error();

    replay_finish_event();



    replay_state.cached_clock[VAR_1] = clock;

}

void FUNC_0(ReplayClockKind VAR_0)
{ unsigned int VAR_1 = replay_data_kind - EVENT_CLOCK; assert(VAR_1 == VAR_0); int64_t clock = replay_get_qword(); replay_check_error(); replay_finish_event(); replay_state.cached_clock[VAR_1] = clock; }