int main(void) {
	while (1) ;
}