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