uint64_t migrate_max_downtime(void)

{

    return max_downtime;

}

uint64_t migrate_max_downtime(void)

{

    return max_downtime;

}

uint64_t FUNC_0(void)

{

    return max_downtime;

}

uint64_t FUNC_0(void)
{ return max_downtime; }