static PairS splitAtFirstSpace(S s) {
  int i = smartIndexOf(s, ' ');
  ret pair(trimSubstring(s, 0, i), trimSubstring(s, i+1));
}