VxWorks now with C++17 and Rust support, alongside Ada and SPARK | Hacker News Reader