Tests for examples