A.2.178 -xsb

非推奨、使用しないでください。ソースブラウザ機能は廃止されました。このオプションはメッセージを表示せずに無視されます。