pub fn test_rust_equivalence_given_execution_state<T: Snippet>(
    snippet_struct: &T,
    execution_state: ExecutionState
) -> VmOutputState