+----------------------------------+
           ⹁         	 |                                  |
 ⹁         ;\        	/  `i = ++i + 1;` and `a[i++] = i;` |
 {\__, __-¨  `---_   	¨|    lead to undefined behavior    |
  }__ ¨           )  	 |                                  |
 {/  ¨¨---____--¨¨   	 +----------------------------------+