realname "Luby-Rackoff" define LUBY_RACKOFF hash