void do_store_601_batu (int nr)

{

    do_store_ibatu(env, nr, T0);

    env->DBAT[0][nr] = env->IBAT[0][nr];

    env->DBAT[1][nr] = env->IBAT[1][nr];

}

void do_store_601_batu (int nr)

{

    do_store_ibatu(env, nr, T0);

    env->DBAT[0][nr] = env->IBAT[0][nr];

    env->DBAT[1][nr] = env->IBAT[1][nr];

}

    do_store_ibatu(env, nr, T0);
void FUNC_0 (int VAR_0)

{

    do_store_ibatu(env, VAR_0, T0);

    env->DBAT[0][VAR_0] = env->IBAT[0][VAR_0];

    env->DBAT[1][VAR_0] = env->IBAT[1][VAR_0];

}

void FUNC_0 (int VAR_0)
{ do_store_ibatu(env, VAR_0, T0); env->DBAT[0][VAR_0] = env->IBAT[0][VAR_0]; env->DBAT[1][VAR_0] = env->IBAT[1][VAR_0]; }