[VerilogDirs-used]
tools=1
[tools*VerilogDirs]
src=user