// #TerminationDeriveable
// Author: heizmann@informatik.uni-freiburg.de
// Date: 16.2.2014

int main() {
	int x = 0;
	while (x >= 0) {
		x--;
	}
}