use printf("%5d    fork", ...)