SPIKEs for Map's atPut and at messages