veriexec_fp_status
error = veriexec_fp_status(l, vp, VERIEXEC_FILE_UNLOCKED,
error = veriexec_fp_status(l, vp, file_lock_state, vfe, &status);