Lessons from Mixing Rust and Java: Fast, Safe, and Practical