Я хотел бы знать, как на самом деле работает .maxstack. Я знаю, что это связано не с фактическим размером типов, которые вы объявляете, а с их количеством. Мои вопросы:

does this apply just for the function, or to all the functions that we are calling for? even if it's just for the function were .maxstack is being declared, how do you know what maxstack is if you have branching? You go and see all the "paths" and return the maximum value possible? What happens if I set it to 16 and actually there are 17 variables? Is there a too big of a penalty if I set it to 256?