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