specification.v 1.18 KB