Edit File: kptr_restrict