NT := 4;
NT := 1;
if NT gt 1 then
    "SET NTHREADS:", NT;
    SetNthreads(NT);
end if;

SetAssertions(true);
Alarm(5*60);
SetQuitOnError(true);

is_opt := (not l or f()) where l, f := IsIntrinsic("IsOpt");
