otherwise the index gets lost.
Also, fix the staggered field access prettyprinter. It was correct after !86 (merged) but printed wrong indices after !92 (merged). I have now added a test.
00:12:40
5 years ago
No artifacts found
00:02:18
