/* #include <stdio.h> */
/* #include <stdint.h> */
/* #include <stdlib.h> */
/* #define UINT32 uint32_t */
#define UINT32 unsigned int

#include "GnbSmuFirmwareTN.h"

int main(int argc, char **argv){

    unsigned int u = 12;
    /* uint32_t u = 12; */
    /* uint32_t bytes; */
    /* size_t res; */
    /* FILE * fptr; */
    /* uint8_t byte1; */
    /* uint8_t byte2; */

    /* fptr = fopen("firmware.bin", "w"); */
/*  */
    /* if (fptr == NULL ) return -1; */
/*  */
    /* res = fwrite(FirmwareTN, sizeof(FirmwareTN), 1, fptr); */
/*  */
    /* if (!(res > 0)) { */
        /* printf("Did not work\n"); */
        /* return -1; */
    /* } */
    /* printf("Wrote %u bytes\n", res); */
    /* u = fclose(fptr); */

    return u;
}