def _pointervalue(gdbval):
 if (gdbval.address is not None):
  return int(gdbval.address)
 else:
  return int(gdbval)

def _pointervalue ( gdbval ) : if ( gdbval . address is not None ) : return int ( gdbval . address ) else : return int ( gdbval )
return the value of the pionter as a python int .