5 int michelob_light; /* bad */
8 /*@constant int pivo_devenast;@*/
9 # define pivo_devenast 12
11 bool pivo_yedno (pivo p)
13 /* pivo is accessible if +accessczech */
18 /* okay, since no types are accessible */
26 int budweiser (int x) /* definitely an error! */
31 pivo pivo_budvar (int x) /* that's better! */