#ifndef READHELP_H_1181769468
#define READHELP_H_1181769468

typedef union {
  long alignment;
  char ag_vt_2[sizeof(int)];
  char ag_vt_3[sizeof(long)];
  char ag_vt_4[sizeof(const char *)];
} readhelp_vs_type;

typedef enum {
  readhelp_letter_token = 1, readhelp_blanks_token = 3,
  readhelp_blank_token, readhelp_eol_token, readhelp_text_token = 7,
  readhelp_cr_token = 10, readhelp_nl_token = 12, readhelp_new_line_token,
  readhelp_continue_token, readhelp_name_token = 17, readhelp_title_token,
  readhelp_titles_token, readhelp_text_lines_token = 21,
  readhelp_text_unit_token, readhelp_cross_reference_token = 25,
  readhelp_cross_reference_text_token, readhelp_right_token,
  readhelp_left_token, readhelp_block_body_token,
  readhelp_blank_lines_token, readhelp_end_block_token,
  readhelp_block_token = 33, readhelp_real_block_body_token = 35,
  readhelp_file_token = 37, readhelp_blocks_token, readhelp_eof_token
} readhelp_token_type;

typedef struct readhelp_pcb_struct{
  readhelp_token_type token_number, reduction_token, error_frame_token;
  int input_code;
  int input_value;
  int line, column;
  int ssx, sn, error_frame_ssx;
  int drt, dssx, dsn;
  int ss[128];
  readhelp_vs_type vs[128];
  int ag_ap;
  const char *error_message;
  char read_flag;
  char exit_flag;
  unsigned char * input_context;
  unsigned char * cs[128];
  int bts[128], btsx;
  unsigned char * pointer;
  unsigned char * la_ptr;
  const unsigned char *key_sp;
  int save_index, key_state;
  char ag_msg[82];
} readhelp_pcb_type;

#ifndef PRULE_CONTEXT
#define PRULE_CONTEXT(pcb)  (&((pcb).cs[(pcb).ssx]))
#define PERROR_CONTEXT(pcb) ((pcb).cs[(pcb).error_frame_ssx])
#define PCONTEXT(pcb)       ((pcb).cs[(pcb).ssx])
#endif

#ifndef AG_RUNNING_CODE
/* PCB.exit_flag values */
#define AG_RUNNING_CODE         0
#define AG_SUCCESS_CODE         1
#define AG_SYNTAX_ERROR_CODE    2
#define AG_REDUCTION_ERROR_CODE 3
#define AG_STACK_ERROR_CODE     4
#define AG_SEMANTIC_ERROR_CODE  5
#endif

extern readhelp_pcb_type readhelp_pcb;
void init_readhelp(void);
void readhelp(void);
#endif