/* Beginning of labels */
#define Number_Propositions		0
#define What		1
#define Pass_Without		2
#define Replace_With		3
#define Replace_Without		4
#define Keep_Unknown		5
#define Pass_With		6
#define Specials		7
#define Correct		8
#define Romans		9
#define Ignore		10
#define Capitals		11
#define Arabics		12
#define NO_PARAM		13
#define NO_KEYBOARD		14
#define NO_SAVE		15
#define REFUSE_WORD		16
#define ADD_WORD		17
#define END_CHECK		18
#define STOP_CHECK		19
#define NO_SELECT		20
#define OK_SAVE		21
#define MSG_MAX_CHECK		22