# Module: "util/random"