Error running this command: diff -U 5 "/tmp/haskJ8" "/tmp/vywJU8"
diff -U 5 "/tmp/haskJ8" "/tmp/vywJU8"
No output on STDOUT.