testDriver added to test decompilation