(id i386)
(description "32-bit Intel/AMD x86 processor")
(id ppc)
(description "PowerPC processor")
(id sparc)
(description "Sun SPARC processor")
(id x86-64)
(description "64-bit AMD/Intel x86 processor")