Procs
proc kokkosFinalize() {.importcpp: "Kokkos::finalize()", inline, header: "<Kokkos_Core.hpp>", ...raises: [], tags: [], forbids: [].}
proc kokkosInit() {.inline, ...raises: [], tags: [ReadIOEffect], forbids: [].}
proc numThreads(): cint {.importcpp: "Kokkos::num_threads()", inline, header: "<Kokkos_Core.hpp>", ...raises: [], tags: [], forbids: [].}