{ DORECOVER | NOFILENAMECHECK }
[ DORECOVER | NOFILENAMECHECK ]...