@rand_int(int)

returns a random integer between 0 and its argument (excluded). This is not a pure function because two calls with the same argument are likely to return different results.