sS startsWithEndsWith_getRest(S s, S prefix, S suffix) {
  ret startsWith(s, prefix)
    && endsWith(s, suffix)
    && l(s) >= l(prefix)+l(suffix) ?
      substring(s, l(prefix), l(s)-l(suffix)) : null;
}