int /*@alt void@*/ test1 (...);
int /*@alt void@*/ test2 (...);


syntax highlighted by Code2HTML, v. 0.9.1