Smile TOOLとして使うときは、OPTION TOOL宣言が必要と聞きましたよ。