当 calloc 成功时，这段 C23 程序会输出什么？

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

int main(void) {
    int *counts = (int *)calloc(3, sizeof *counts);
    if (counts == NULL) {
        return 1;
    }
    counts[1] = 4;
    printf("%d %d %d\n", counts[0], counts[1], counts[2]);
    free(counts);
    return 0;
}