writing array length in C header