Yet more cross-referencing of undefined behaviors...