void p1_setcr(Processor1 *state, uint64 number) {
printf("I am called: %d\n", number);
state->CR &= ~(0x8000000000000000 | 0x4000000000000000 | 0x2000000000000000);
if (number == 0) state->CR |= 0x2000000000000000;
if (number > 0x7FFFFFFFFFFFFFFF) state->CR |= 0x8000000000000000;
else state->CR |= 0x4000000000000000;
printf("F_N: %d\n", 0x8000000000000000);
}