Update randkeysfromsetp.c