[fix][compiler] procedure inside designator without arguments isn't allowed
[enh] detect buffer overflow/underflow