Constant RCL_SHORT_ENCLAVE_FLAG

pub const RCL_SHORT_ENCLAVE_FLAG: &[u8; 3] = b"-e\0";