@alexmarkov pointed out some UB in a recent code review. If we want to make our codebase clean of UB code, we should consider adding a UBSAN bot to our CI, similar to existing ASAN. /cc @a-siva @mraleph