check_extended_regs_support
FAIL_IF(check_extended_regs_support());
if (check_extended_regs_support())
extern int check_extended_regs_support(void);