Thread type environment through the CPToGV translator.