Constant FLASH_WRITABLE_BASE 

pub const FLASH_WRITABLE_BASE: u32 = 0x80_0000;