sbool startsWith_addingSlash(S a, S b) {
  ret startsWith(addSlash(a), addSlash(b));
}