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! */