mini: convert random_int() -> r()