pub const CRMFLAG_WRITTENDURINGABORT: CRMFLAGS;