text: #define DEFINITION_GenLRk
  
  #ifndef DEFINITION_IO
  #include "IO.h"
  #endif
  
  extern void ZdaDoSr_0 ARGS ((ZfM_3 Z118, CARDINAL Z119));
  extern void ZdaDoSr_1 ARGS ((ZfM_3 Z118, CARDINAL Z119));
  extern void ZdaDoSr_2 ARGS ((ZfM_3 Z118, CARDINAL Z119));
  extern void ZdaDoSr_3 ARGS ((ZfM_3 Z118, CARDINAL Z119, CARDINAL Z123));
  extern void BEGIN_GenLRk ARGS ((void));
  