extern __device__ int foo_func(int a)
{
  return a * 42 + 9;
}