/rba.tool.core/lib32/
../
z3