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