PV_BEEN_EXECD
#define PV_BEEN_EXECD(f) (((f) & PVF_EXEC) == PVF_EXEC)
#define PV_BEEN_EXECD(f) (((f) & (PVF_REF | PVF_EXEC)) == (PVF_REF | PVF_EXEC))