たしかにA320はやたらと落ちたからなあ。
あとは正しさを実現するためのリソース次第だな。MicroVAXの時代でも潤沢じゃなかったし。