spec: Add some examples