* it seems that printf() can not output correctly, there is something
wrong with CC computation for adc/sbb