What's the rationale for -001 in the file name? Are we going to have >99 or even >9 of these? Does it make sense to put these tests together in one file, or give the files more descriptive individual names than -001, -002?