examples are tested