// trivial test; we only want to test that the extractor does not crash
// on the input files
select "success"