c: WIP snapshot
c: pp-tokens ok(?), modulo identifier UCNs in annex D.