ports//devel/splint/work/splint-3.1.2/test/tests2.4/forward.c

# include "forward.h"

/*@-macrofcndecl@*/
# define mmash(x) ((x) + 3)
/*@=macrofcndecl@*/

syntax highlighted by Code2HTML, v. 0.9.1