float64 helper_fabs_DT(float64 t0)

{

    return float64_abs(t0);

}

float64 helper_fabs_DT(float64 t0)

{

    return float64_abs(t0);

}

float64 FUNC_0(float64 t0)

{

    return float64_abs(t0);

}

float64 FUNC_0(float64 t0)
{ return float64_abs(t0); }