[C++]: #130 bounds checking added
[C++]: #130 new SBEIR stubs