arc_sid_t
arc_sid_t *sid;
arc_sid_t *Bios_GetSystemId(void);
char arc_vendor_id[sizeof(((arc_sid_t *)0)->vendor) + 1];
unsigned char arc_product_id[sizeof(((arc_sid_t *)0)->prodid)];
arc_sid_t *(*get_system_id)(void); /* GetSystemId 18 */
extern char arc_vendor_id[sizeof(((arc_sid_t *)0)->vendor) + 1];
extern unsigned char arc_product_id[sizeof(((arc_sid_t *)0)->prodid)];