elaborating 32-bit types