--write-var-ranges