Dave Herman’s contributions to Rust