下面的代码片段会在标准输出中打印出什么结果？

void main() {
    int i, j, k;
    i = 4;
    j = 30;
    k = 0;
    k = j++ / i++;
    ++k;
    printf("%d %d %d", i, j, k);
}