static PairS splitAtLastSpace(S s) {
  int i = lastIndexOf(s, ' ');
  ret i < 0 ? null : pair(trimSubstring(s, 0, i), trimSubstring(s, i+1));
}