DEF X2 A OUT B 　B=0 　IF A>0 THEN B=A*2 END これで、ローカル変数Bは数値変数であることが確定します。（実数型か整数型かは確定しない） B=0の時点で数値変数が確定するため引数に文字列を入れるとB=A*2の部分でType mismatchエラーとなります。