framework module TIMPush {
  umbrella header "TIMPush.h"

  export *
  module * { export * }
}