long main(int argc, char **argv) {
	return -(3.5+2.5);
}