static SS parseDoubleArrowMapCI_tlft(S s) {
  ret parseDoubleArrowMapCI(tlft(s));
}