const headers_getterinfo: JSJitInfo;