

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

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

static __global__ void file3_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);
}

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

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

  auto result = *r;
  cudaFree(r);

  return result;
}
