module empty {
  header "empty.h"
}