making another example for spec generation