/* ISC license. */

 /*
  * It's actually false everywhere.
  * Not removing the test for now because it would mean editing all the
  * places where the test happens. Will remove it later.
  */

int main (void)
{
  return 1 ;
}