const counter_reset_setterinfo: JSJitInfo;