Removing duplicate `random` code generator

This somehow ended up here twice. I have an ominous feeling it was my fault.