[FOLD] use while