void* bad_pointer(void) {
	return (void*)1;
}