# See the License for the specific language governing permissions and
# limitations under the License.
+#alt3 import bufferized_ropes
+
var str = "Woe to you, oh earth and sea for the Devil sends the beast with wrath because he knows the time is short. Let him who hath understanding reckon the number of the beast, for it is a human number, its number is Six Hundred and Sixty-Six."
var spaces = " "
var numstr = "1001"
#alt2 trimable = trimable + spaces
#alt2 num = new RopeString.from(numstr)
+#alt3 txt = new RopeString.from(str)
+#alt3 trimable = new RopeString.from(spaces)
+#alt3 trimable = trimable + str
+#alt3 trimable = trimable + spaces
+#alt3 num = new RopeString.from(numstr)
+
# Test Text methods on all types of receivers
-print txt.to_upper
-print txt.to_lower
-assert txt * 2 == txt + txt
print txt.substring(0, 105)
print txt.substring_from(106)
-print txt.reversed
print txt.length
assert not txt.is_empty
print txt.index_of('h')
var chars = txt.chars
assert chars != txt.substring_from(106).chars
-assert (txt.substring(0,105) + txt.substring_from(105)).chars == txt.chars
assert chars[0] == 'W'
assert chars.count('o') == 11
assert chars.first == chars[0]