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