uuid = "2a6422d0-6cee-11e0-8c08-cb07d7b3a564";
word_size = 32;
};
/* Architecture with 32-bit pointers, 32-bit integers, 32-bit longs */
uuid = "2a6422d0-6cee-11e0-8c08-cb07d7b3a564";
word_size = 32;
};
/* Architecture with 32-bit pointers, 32-bit integers, 32-bit longs */