rb-super_random is a stub port
