Constant HPTXFSIZ 

const HPTXFSIZ: *mut u32 = _; // {0x3f980100 as *mut u32}