spec11: Add example