Symbol: intmap