(map[if(< 64 _)writeb._](rev:drain:readb))