@@
identifier ptr;
//statement S;
@@

// body could be S instead of { ... }
- if (!ptr) 
- { 
- ... 
- }