C array types are weird