begin
   integer name i, t1
   string (10) name s, t2
   ! De-Morgan failure:
   unless t1 == i and t2 == s then printstring("BUG1 FOUND")
   if t1 ## i and t2 ## s then printstring("BUG2 FOUND")
end of program