GitHub - osandov/drgn: Programmable debugger