static L<S> mechListsPlusNumber(S prefix) {
  ret [S s : mechListNamesStartingWith(prefix) | isSameOrPlusNumberIC(s, prefix)];
}