#include <stdint.h>

__attribute__((section(".text"))) int cryptographic_test() {
    static const uint32_t vv = 0xDEADBEEF;
    // Run unit tests for cryptographic scheme
    //while(1);  // Debug loop
    return 7;
}