RuSTy User Documentation

Direct access to variable with %