Use a notification counter as a unique notification id

Does it really depend on this?