static void assertStartsWith_rev(S b, S a) {
  assertStartsWith(a, b);
}