Add of_random().