>>300

関数側で一番最初位に整合性チェックして、不適合ならExceptionをthrowするの。