emit vectors here, for roundtripping