pub const aborts: Symbol;