型を判断できる事を利用した命令の一例です。