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