Duplicated tests for all backends

This is a suboptimal solution, as it involves copy/pasting entire files,
and changing just one line (the import) in each one. Until this can be
replaced with a macro-based solution, it will have to do.