Seps spec: factor out common examples