Trampolines, etc. in Rust