3 ms·

Sounds about right. Thanks! And I’d guess that the perf overhead would be nontrivial either even in Rust.