[spec] length of a curve