getdfc
printf("dfc = %s\n", hexstr(getdfc(), 4));
int getdfc(void);
printf("dfc = %d\n", getdfc() & 7);
if ((getsfc() != FC_CONTROL) || (getdfc() != FC_CONTROL)) {