some examples of server spec usage