Commented out the choice user_stor() at the eval prompt,
because it is not in the current version.