/; main [int]
	return 1
;/