added a size assertion to the basic example