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