application_extension(DEFAULT)