What are extensions?