val _ =
   print(if ([1, 2, 3], [4, 5]) = ([1, 2, 3], [4])
            then "true\n"
         else "false\n")