introduce USE_UBSAN macro to place workarounds for desired signed integer overflow