option

オプションは、set_option コマンドで設定することができ、主にデバッグに利用されます。