C back end maps definite arrays to structs.