a length property (normally).
Change the command-line usage: one command per invocation, but multiple
files possible (e.g. with "export" and "verify" commands).
You don't need the '-file' or '-users' arguments anymore.