// 10.04.18 function Texforinit() global TEXFORLEVEL TEXFORLAST TEXFORLEVEL=0; TEXFORLAST=list(); endfunction;