  Lemma standardVertexSerialSize : length (serializeComponentValues standardVertexArray) = 72%nat.
