(= a(rev:drain:readc)b"")(on x a(prn:= b(+ x b x)))