Examples for specs2