Assuming a posix-ish shell were a requirement for some NASA mission, what shell do you think might pass their verification process?