application_extension()

