Implement list functions
Add annotation