int foo (int x)
{
  throw 10;
}