pub fn test_rust_shadow<P: CompiledProgram>( public_input: &PublicInput, nondeterminism: &NonDeterminism, )