void d(int* result) {
	*result = 32;
}