void helper_ldl_data(uint64_t t0, uint64_t t1)

{

    ldl_data(t1, t0);

}

void helper_ldl_data(uint64_t t0, uint64_t t1)

{

    ldl_data(t1, t0);

}

void FUNC_0(uint64_t VAR_0, uint64_t VAR_1)

{

    ldl_data(VAR_1, VAR_0);

}

void FUNC_0(uint64_t VAR_0, uint64_t VAR_1)
{ ldl_data(VAR_1, VAR_0); }