EOVERFLOW for static buffer overflows

when the compiler knows the object_size (BOS), not ESLEMAX.
Does not work reliably for constant literal strings at compile-time,
but at run-time it mostly does.

Note: with -O2 the duplicated error blocks are merged with a simple goto/jmp.
Maybe we should do it explicitly.