The text 4ae935faead6, as Debian 10 (Buster) shipped it.
allocate or free a protection key
pkey_free(2) on Linux now
