
#include <iostream>

#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);
}

int file4_launch_kernel(int x)
{
  result_type r;
  file4_kernel <<<1,1>>> (r,x);
  return r.sum;
}
