sematics analysis on struct block