RuSTy User Documentation

Invalid range for array access