highlight_pike not used, so don't inherit it. Store backtraces in memory cache for (hopefully)faster gc. Use random id instead of sequential id to improve security. Rev: server/plugins/protocols/http.pike:1.376