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