def get_operand_value(addr): """Returns the value of the second operand to the instruction at `addr` masked to be a 32 bit value""" return idc.GetOperandValue(addr, 1) & 0xffffffff