int main(void) {
	__asm__("");
	return 0;
}
