inline std::uint64_t get_device_global_mem_size(const sycl::device &d) {
    return d.get_info<sycl::info::device::global_mem_size>();
}

inline std::uint64_t get_device_local_mem_size(const sycl::device &d) {
    return d.get_info<sycl::info::device::local_mem_size>();
}