C arrays should be bound as pointers