stg12 is 32bit