What is a extension?