| 1234567891011121314151617181920 | 
							- @@
 
- expression x, y;
 
- statement S;
 
- @@
 
-   x = mbedtls_malloc(...);
 
-   y = mbedtls_malloc(...);
 
-   ...
 
- * if (x == NULL || y == NULL)
 
-     S
 
- @@
 
- expression x, y;
 
- statement S;
 
- @@
 
-   if (
 
- *   (x = mbedtls_malloc(...)) == NULL
 
-     ||
 
- *   (y = mbedtls_malloc(...)) == NULL
 
-   )
 
-     S
 
 
  |