// { dg-additional-options -fmodules-ts }
import bar;

int main ()
{
  return !(One () == 1);
}