Template:Spec-example