// See LICENSE for license details. #include <stdio.h> #include "nuclei_sdk_soc.h" int main(void) { return 0; }