Hi guys, I found that the argument line_num of gdb_disassembly isn't used in anywhere. So maybe I can remove it. And it can be checked in under the obvious rule, right? Thanks, Hui