Test cases for examples