rand_hc128 (cargo): HC128 random number generator 
Keywords: random|rng|hc128