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

typedef unsigned char uchar;

void write_file(char const* filename, uchar const* contents) {
    FILE* fp = fopen(filename, "w");
    for(int i = 0; contents[i] != '\0'; i++) {
        uchar char_to_write = contents[i];
        fputc(char_to_write, fp);  // write one character
    }
    fclose(fp);
}

int main(int argc, char* argv[]) {
    uchar const contents[] = { '\xde', '\xca', '\xf0', 'B' };
    write_file("quiz4.txt", contents);
    return EXIT_SUCCESS;
}