[sr-dev] git:master:6e8121f4: core Header modifications in rand library - SVN IDs