svoid test_substring() {
  assertEqualsVerbose(substring("abc", 2, 4), "c");
  assertEqualsVerbose(substring("abc", -3, 1), "a");
  assertEqualsVerbose(substring("abc", 2, 1), "");
}