Pascal/Turbo Pascal - Validacion de datos

Alguien sabe como hacer para validar datos?
yo tengo q un programa q en un menu te pide q elijas una opcion de 1 a 4. Lo q todavia no pude hacer es validar si por ejemplo me ingresan una letra o una palabra. Ahi se me cuelga el programa, obviamente. Si pude validar para que si ingresan un numero mayor a 4 que me repita, pero no pude lograr que me repita el menu si es q se ingresa un dato de tipo char o string.
Creo q tendria q utilizar los procedimientos VAL y STR pero no se hacerlo.
Por favor ayudenme!
Gracias

eemmm, si solo tiene que ingresar un numero, podes usar keypressed con readkey, y luego de leer la tecla haces un case.. 1saludo

que es keypressed?

Estoy de acuerdo. Puedes poner algo así:
Repeat
tecla := readkey; {donde la variable "tecla" es de tipo char}
Case tecla Of
"1" : {aquí unas intrucciones}
"2" : {aquí más instrucciones}
"3" : {más intrucciones}
... {y así cuantas opciones quieras}
"5" : exit; {podría ser la opción de salida}
End;
Unitl tecla = "5"; {donde 5 es la opción de salir}

Y keypressed es un función. Pero no se como explicarte. Mejor con un ejemplo:

Repeat
writeLn("HOLA");
Unitl KeyPressed; {este ciclo se repetira hasta que presiones una tecla;

La siguiente función te permite la pulsación de cualquiera de los caracteres de la lista:
Espero te sea de utilidad. Saludos ;-)

No me queda claro lo de esta validación, alguien me puede explicar más?

necesito validar que solo me lea ciertos numeros enteros, no letras ni caracteres especiales. Talvez con un case funcione, no crees?

Gracias.