Adjunto te he colocado un pequeñito código que te permitirá obtener el resultado de las teclas pulsadas. Debes tener en cuenta que los caracteres especiales como F1, Fn, etc, generan dos pulsaciones. La primera pulsación es 0 (cero) y la segunda el la pulsación correspondiente al caracter especial. F1=0,59. Con el código que te adjunto podrás ver las pulsaciones que quieras, incluso las de Ctrl que quieres.
# include <stdio.h>
# include <conio.h>
main()
{
char tecla;
do
{
tecla = getch();
printf("n%d %c :",tecla,tecla);
}while(tecla !=13);
}
Espero te sirva de algo.
gmantil