decompiler: registry flag to dump original line numbers as comments
decompiler: more correct toString