@pcwalton Or is `uint::times` deprecated?