printf "keys=%d\n", 0+(keys %r);