((rec,\(and(real?\),#0=(read-byte)(>\ 64)(write-byte\))1)#0#)