Think about kptr_restrict later (KSPP recommends to set it to 1)