Examples as unit tests