30   ReadOptions read_options;  in main()  local
45   s = txn->Get(read_options, "abc", &value);  in main()
53   s = db->Get(read_options, "abc", &value);  in main()
69   s = db->Get(read_options, "xyz", &value);  in main()
73   s = db->Get(read_options, "abc", &value);  in main()
95   read_options.snapshot = snapshot;  in main()
96   s = txn->GetForUpdate(read_options, "abc", &value);  in main()
109   read_options.snapshot = nullptr;  in main()
112   s = db->Get(read_options, "abc", &value);  in main()
132   read_options.snapshot = db->GetSnapshot();  in main()
133   s = txn->Get(read_options, "x", &value);  in main()
140   s = db->Get(read_options, "x", &value);  in main()
149   read_options.snapshot = db->GetSnapshot();  in main()
152   s = txn->GetForUpdate(read_options, "y", &value);  in main()
163   read_options.snapshot = nullptr;  in main()
166   s = db->Get(read_options, "x", &value);  in main()
170   s = db->Get(read_options, "y", &value);  in main()