rv-deduce2.C 249 Bytes