Turn a source code comment into specs