¶using device_kernel_launcher = std::function<void(
sycl::handler&,
const box<3>&,
const std::vector<void*>&)>;
using device_kernel_launcher = std::function<void(
sycl::handler&,
const box<3>&,
const std::vector<void*>&)>;