const history_getterinfo: JSJitInfo;