sbool startsWith_addingSlash(S a, S b) {
  ret a != null && addSlash(a).startsWith(unnull(b));
}