pub const HAL_PLATFORM_DISABLE_PTCG: i32 = 4i32;