sbool eqAfterTrim(S a, S b) {
  ret eq(trim(a), trim(b));
}