Rust Doorsharing Servers, page 12