work in progress on Extension Declaration