Constant ADF1 

pub const ADF1: *mut () = _; // {0x4002f000 as *mut ()}