sS afterLastDollar(S s) {
  ret s == null ?: substring(s, s.lastIndexOf('$')+1);
}