This reduce macros and control statements of LaTeX into flat and primitive control sequences.