draft: random_int()