int main(void)
{
  return -42;
}