rem: int i;
context: secs_to_cmos(uint32 seconds, cmos_time *cmos){	uint32 wholeYear = BASE_YEAR;	uint32 secsThisYear;	bool keepLooping;	bool isLeapYear;	int i;	int temp;	int month;	keepLooping = 1;	// Determine the current year by starting at 1970 and incrementing whole_year as long as	// we can keep subtracting secs_this_year from seconds.	while (keepLooping) {		secsThisYear = secs_this_year(wholeYear);		if (seconds >= secsThisYear) {			seconds -= secsThisYear;			++wholeYear;		} else			keepLooping = false;	}	cmos->century = int_to_bcd(wholeYear / 100);	cmos->year = int_to_bcd(wholeYear % 100);	// Determine the current month	month = 1;	isLeapYear = leap_year(wholeYear);	do {		temp = seconds - secs_per_month[month - 1];		if (isLeapYear && month == 2)			temp -= SECONDS_DAY;		if (temp >= 0) {			seconds = temp;			++month;		}	} while (temp >= 0 && month < 13);	cmos->month = int_to_bcd(month);	cmos->day = int_to_bcd(seconds / SECONDS_DAY + 1);	seconds = seconds % SECONDS_DAY;	cmos->hour = int_to_bcd(seconds / 3600);	seconds = seconds % 3600;	cmos->minute = int_to_bcd(seconds / 60);	seconds = seconds % 60;	cmos->second = int_to_bcd(seconds);}