rework afs_random() yet again