specification.v 1.19 KB