How to write extensions to specifications