Correctness of shell code