2 Element Array Printing

#include <stdint.h>
#include <stdio.h>
#include <stdlib.h>

main()
{
    uint32_t dbg[2];

    dbg[0] = 1337;
    dbg[1] = 1338;

    char buf[1000];
    sprintf(buf, "%d %d", dbg[0], dbg[1]);
    printf("%s\n", buf); // OSFatal(buf);

    return EXIT_SUCCESS;
}