ATTRS benchmarked eval's reblessed ro rw Piotr Roszatycki Str