Есть, Петка, один нюанс. UB в C - это то, что не определено явно стандартом, а не то, как его фантазируют кексперты. Например, разыменовывание невыровненного поинтера - вполне валидная и определённая операция, но зависит от железа, а не от транслятора.