与えられたコードがunsafeかどうかを判定するルーチンHがあればいいんだろ