But extensions like typeof are different from UB. They have documented behavior, it is just documented by GNU instead of the C standards committee.