void main()

{
	while (0) {
	}
}