this comment should have an XXX in it or a to-do or something to convey that it actually makes our snippets potentially non-deterministic.