int lang_struct_se_ioe(int x){
    int rv1 = ++x - ++x; /* 'Indeterminate Order of Evaluation' warning issued here
                          * - two unsequenced writes to x
                          * The different orderings have different outcomes:
                          * - if the compiler chooses to perform the first increment
                          *   before the second, (++x - ++x) == -1
                          * - if the compiler chooses to perform the second increment
                          *   before the first, (++x - ++x) == 1
                          */
    int rv2 = ++x + ++x; /* 'Indeterminate Order of Evaluation' warning issued here
                          * - two unsequenced writes to x
                          * Ihe value of (++x + ++x) is the same under
                          * all possible sequencings, but a warning is
                          * issued regardless.
                          */
    int rv3 = (--x > 0) || (++x < 0);      /* ok: || is a sequence point */
    int rv4 = x + 2*x;                     /* ok: no writes to x */
    ++rv4;                                 /* ok: the value read from rv4 contributes to the value written to rv4 */
    return ++rv1 + ++rv2 + ++rv3 + ++rv4;  /* ok: each object is only incremented once */
}