long main(int argc, char **argv) {
	return (double*)808 - (double*)792;
}