Symbol: TULIP_HAVE_SLAVEDINTR