PRNGs translated in vimscript