module HasPointer {
  header "HasPointer.h"
  export *
}