/* Array sizes. Used for range checking also */