int main(int argc, char* argv[])
{
    int z = 0;
    printf("ABCDEFG%n", &z);
    printf("Written bytes: %d", z);