Constant _tagPI_FLAGS_PI_PREFERDEFAULTHANDLER

pub const _tagPI_FLAGS_PI_PREFERDEFAULTHANDLER: _tagPI_FLAGS = 131072;