東芝とかasusはHALT試験で設計が正しいかどうか評価するが、appleは
やってないんだろうな。