specification.v 1.17 KB