pub const DEVPROP_OPERATOR_AND_CLOSE: DEVPROP_OPERATOR;