RuSTy User Documentation

VLA Dimension out of bounds