[sr-dev] git:master:9475837b: core/rand: fix -Wdeprecated-non-prototype