// This is empty header that represents Global HACL configuration
// file with no variables defined to pass the build.
// Configuration of platform and features are done during hacl package
// build in sys/hacl/build.rs