^{* 9} カーネルの自動認識がどこまで信用できるかはこの際無視します。