Print int with %d, not %zu.
[pintos-anon] / src / tests / threads /
drwxr-xr-x   ..
-rw-r--r-- 4799 list.c
-rw-r--r-- 4370 p1-1.c
-rw-r--r-- 2273 p1-2.c
-rw-r--r-- 2975 p1-3.c
-rw-r--r-- 3051 p1-4.c
-rw-r--r-- 2893 stdlib.c