Example Code
// This is an array that is generated from a sequence
typedef int IntArray[10];