Define arrays with the correct type

This fixes the big problem we encountered today (yesterday for you :wink: ). I wasn't able to fix the other problem (e.g. `The designator class <c-signed-int>, for output parameter standard_input_ is not a pointer designator class.`) because I forgot I promised my dad to watch a movie with him.