This is a fairly direct translation of the Java field flow test to C++. Not all the `// flow` annotations are currently accurate.