Well, that's undefined behaviour. It could have inserted system("rm -rf /*"); instead and be right about that.