minor bug fix to decompiler
linking up the decompiler to L3 x64 model