//! VGA constants pub const DEFAULT_ATTR: u16 = 0x0F00;