What specifically is supposed to be UB here? I'm not sure what it would be, and miri also does not trigger.