rv-deduce2.C 240 Bytes