sS dropLeadingTimestamp(S s) {
  ret regexpReplace_direct(s, "^\\d+\\s+", "");
}