{
  __ubsan_*;
};