anchor: PulleyJoint:getMaxLengths
  Get the maximum lengths of the rope segments.
  len1, len2 = PulleyJoint:getMaxLengths()
  len1 number The maximum length of the first rope segment.
  len2 number The maximum length of the second rope segment.