module check_feature {
  header "check.h"
}