int f()
{
  return true;
}