इसका टेक्स्ट मैसेज भेजे: An Executable Operational Semantics for Rust with the Formalization of Ownership and Borrowing