Constant PRODUCT_THINPC 

pub const PRODUCT_THINPC: ULONG = 0x00000057;