/* both returns are errors */
int foo() {
  return;
}
int main(int argc, char **argv) {
  return; 
}