A lightweight graphics device manager for Rust