Cross-reference a few more undefined behaviors...