top_level ubsan