#include <stdint.h>

/* Keep this function in its own compilation unit. */
__attribute__((annotate("veil:seal")))
uint32_t check_license(const char *license) {
    uint32_t hash = 2166136261u;
    while (*license)
        hash = (hash ^ (unsigned char)*license++) * 16777619u;
    return hash;
}