Add formal `random` script