5 int michelobLight; /* bad */
8 /*@constant int pivoDevenast;@*/
9 # define pivoDevenast 12
11 bool pivoYedno (pivo p)
13 /* pivo is accessible if +accessczech */
18 /* no types are accessible (error for +slovakfcns) */
24 /* no types are accessible (okay for +slovakfcns) */
25 int samuel_adams (int x)
32 int budweiser (int x) /* definitely an error! */
37 pivo pivoBudvar (int x) /* that's better! */