#include <stdio.h>
int main()
{
int tecla;
scanf("%d", &tecla);
while (tecla<0 || tecla>7
scanf("%d", &tecla);
//Aquí se llega cuando se pulsa una de las teclas que quieres
//Así que puedes continuar con lo que haga el programa
}