Spec of v0.9 frozen