Reason for ZEND_JIT_COUNTER_INIT set to 32531?

Hi Internal, I am not sure this is a correct mail list for asking source code related question. If not, I am sorry. Appreciate you guys' help. I am reading PHP8 JIT related source code and found that zend_jit.h has a magic definition ZEND_JIT_COUNTER_INIT as 32531 which I do not quite understand how this number was chosen and why? Anybody can provide some historic information? #define ZEND_JIT_COUNTER_INIT 32531 A code example using this definition (looks like the 2nd parameter computes into a fixed number if hot_func is set by php.ini) ZEND_OPCODE_TAIL_CALL_EX(zend_jit_trace_counter_helper, ((ZEND_JIT_COUNTER_INIT + JIT_G(hot_func) - 1) / JIT_G(hot_func))); ======================================= Tony Su (Su, Tao) make a 'lazy' programmer diligently with efficiency