Used by tranny compilation