Save some memory (use integers for the integer argcacheIDs when possible in the cache mapping) Rev: server/base_server/roxen.pike:1.641