int event_notifier_set(EventNotifier *e)

{

    uint64_t value = 1;

    int r = write(e->fd, &value, sizeof(value));

    return r == sizeof(value);

}

int event_notifier_set(EventNotifier *e)

{

    uint64_t value = 1;

    int r = write(e->fd, &value, sizeof(value));

    return r == sizeof(value);

}

int FUNC_0(EventNotifier *VAR_0)

{

    uint64_t value = 1;

    int VAR_1 = write(VAR_0->fd, &value, sizeof(value));

    return VAR_1 == sizeof(value);

}

int FUNC_0(EventNotifier *VAR_0)
{ uint64_t value = 1; int VAR_1 = write(VAR_0->fd, &value, sizeof(value)); return VAR_1 == sizeof(value); }