Bounds-checking interfaces (Annex K).
境界チェック（英語版）インタフェース (Annex K)。