下面代码的输出结果是什么？

int main() { 
    FILE *foobar = stdout; 
    int foo; 
    fprintf(foobar, "%d ", 20); 
    fflush(stdout); 
    fprintf(stderr, "%d", 99); 
    return 0; 
}