CUDA Rust: native to PTX, not a wrapper over C++