1 /* Output from LCLint 3.0b-alpha */
5 # ifndef EXPOSED_TYPE_st
13 # ifndef EXPOSED_TYPE_ut
24 extern int f (int /* ia */[], st /* s1 */, ut * /* u1 */);
25 extern void model (int /* ia */[]);
26 extern void modst (st /* s1 */);
27 extern void modu (ut * /* u */);