Examples as smoke tests