A proof-of-concept of an improved decoder tool (ORTool.DecObj) which also resolves external procedure calls and accesses to external global variables is now available at https://github.com/andreaspirklbauer/Oberon-improved-decoder-tool Any input is welcome.