sS afterLastColon(S s) {
  ret substring(s, smartLastIndexOf(s, ':')+1);
}