人間が書いたプロトタイプが本体や呼び出しと食い違ってないか
を機械にチェックさせるとミスが減るけど、

機械が本体から作ったプロトタイプだとチェックにならない。