Initial TexExtract import from Hello pass