ASY_PROGRESS_SOFTINT
if ((asy->asy_progress & ASY_PROGRESS_SOFTINT) != 0)
asy->asy_progress |= ASY_PROGRESS_SOFTINT;