void a() { return true; }
void b() { return b; }
void c() { return int; }

/*%%*
may not return a value from a void function
may not return a value from a void function
may not return a value from a void function
*%%*/