c typedef pointer to array