POL_System_is32bit