(pr((= T"
"h(fn(n f t v)(if(< --.n 0)T(do(h n f v t)(++ T t)(h n v t pr.f)))))(read)'A'C'B))