Interrupcion rda

Estoy haciendo un programa en c, para leer una cadena de caracteres que entra en un pic 16f877a. Pero estoy muy perdido con la interrupcion para leer del puerto serie (int_rda).
La idea es hacer un programa que lea una letra del puerto serie y la imprima por pantalla.
Esto es lo que tengo, pero no lo consigo hacer funcionar.
Alguien me puede ayudar.

#int_rda
void serial_isr() {
int t;

buffer[next_in]=getc();
t=next_in;
next_in=(next_in+1) % BUFFER_SIZE;
if(next_in==next_out)
next_in=t; // Buffer full !
}


void main(){
int1 num;
printf("Introduce un numero");

num=fgetc();

printf(num);
}


Gracias