#include "file1.h"
#include "file2.h"

result_type __device__ file1_func(int x);
result_type_dynamic __device__ file2_func(int x);

static __global__ void file4_kernel(result_type* r, int x)
{
  // call static_func which is a method that is defined in the
  // static library that is always out of date
  *r = file1_func(x);
  result_type_dynamic rd = file2_func(x);
}

EXPORT int file4_launch_kernel(int x)
{
  result_type* r;
  cudaMallocManaged(&r, sizeof(result_type));

  file4_kernel<<<1, 1>>>(r, x);
  cudaDeviceSynchronize();

  auto sum = r->sum;
  cudaFree(r);

  return sum;
}
