def METHOD_NAME(program, addr, lines):
    proc = program.procedures.get(addr)
    name = proc.name if proc is not None else None
    lines.append('    Get procedure at 0x{:08X}: {}'.format(addr, name))