#include <stdint.h>
int run();

__attribute__((used, section(".text"))) int cryptographic_test() {
    // Run unit tests for cryptographic scheme
    return 7 + run();
}

int run() { return 1; }