Proper bounds checking in file.c(sys_getdents)