Faults in Linux: Using value taken from user as array bounds without check