int 型（符号つき32 ビット整数）およびunsigned int 型（符号なし32 ビット整数）を表示させたいのですが、

プログラムは
#include <stdio.h>
#include <limits.h>

main()
{
printf("%d\n",INT_MAX);
printf("%lu\n",UINT_MAX);
return 0;
}

結果は
2147483647
4294967295
で正しいでしょうか？