const response_getterinfo: JSJitInfo;