utils.h : added get_random()