Some plugins for hexrays-python