Simple headers to make life with CUDA driver API a bit simplier