int something()
{
  return 31337;
}

int main() {
    return 5;
}