const counter_reset_getterinfo: JSJitInfo;