// test-simple-return.c
int main(int argc, int argv)
{
  return 42;
}