FILEHASH
file_hash_value = hash_string(lineno, file, FILEHASH);
unsigned int hash = hash_string(lineno, file, FILEHASH);
unsigned int value = hash_value_early_read / (USERHASH * FILEHASH);
file = val % FILEHASH;
val = val / FILEHASH;
unsigned int n = user + USERHASH*(file + FILEHASH*device);