int gnaa() {
	return 42;
}