sS dropLeadingIntAndSpace(S s) { ret substring(s, l(regexpExtract("^-?\\d+", s))); }