test4 decompiles all cases