PVK_SALTLEN
outlen += PVK_SALTLEN;
write_ledword(&p, enclevel ? PVK_SALTLEN : 0);
arc4random_buf(p, PVK_SALTLEN);
p += PVK_SALTLEN;
if (!derive_pvk_key(keybuf, salt, PVK_SALTLEN,
p = salt + PVK_SALTLEN + 8;