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