User blog comment:Alemagno12/Defining BEAF - new book/@comment-1605058-20150713070130

So basicaly you are making list of structures without mentioning how to resolve arrays of such sizes? I don't think it's possible to define BEAF that way.