void helper_ldq_l_raw(uint64_t t0, uint64_t t1)

{

    env->lock = t1;

    ldl_raw(t1, t0);

}

void helper_ldq_l_raw(uint64_t t0, uint64_t t1)

{

    env->lock = t1;

    ldl_raw(t1, t0);

}

void FUNC_0(uint64_t VAR_0, uint64_t VAR_1)

{

    env->lock = VAR_1;

    ldl_raw(VAR_1, VAR_0);

}

void FUNC_0(uint64_t VAR_0, uint64_t VAR_1)
{ env->lock = VAR_1; ldl_raw(VAR_1, VAR_0); }