module ConcurrencyHeader {
  header "header_concurrency.h"
}