Implemented spec v1.3 changes, plus fixed bug in decompiler