(princ(case(read)(in 214)(kitten 3)(t 0)))