Figure 8. Implicit Annotations.

implicit.c

typedef struct {
  /* only */ char *name;  /* implicit only annotation if +structimponly */
  int val;
} *rec;
 
extern /* only */ rec rec_last ; /* implicit only
annotation if +globimponly */
 
extern /* only */ rec   /* implicit if +retimponly */
  rec_create (/* temp */ char *name, /* implicit if +paramimptemp */ 
	      int val);