int monitor_fdset_dup_fd_remove(int dupfd)

{

    return -1;

}

int monitor_fdset_dup_fd_remove(int dupfd)

{

    return -1;

}

int monitor_fdset_dup_fd_remove(int dupfd)     return -1;
int FUNC_0(int VAR_0)

{

    return -1;

}

int FUNC_0(int VAR_0)
{ return -1; }