setup_counters(RTCC_INTERNAL,RTCC_DIV_256);
Esta línea configura el timer0 interno con pre-scaler en 256, esto se hace en el registro OPTION, del datasheet:
bit5 = 0 para timer interno
bit3 = 0 para asignar el pre-scaler al timer0
bits0, bits1, bits2 = 1, para pre-scaler en 256
En Hi-Tech:
El valor del registro OPTION depende de otras opciones que podemos configurar como las resistencias de pull-up, el flanco de interrupción externa, hay que verificar bien que es lo queremos hacer.
aleatorio = get_rtcc() % 4;
Esta queda muy parecida, pero se reemplaza get_rtcc() por TMR0:
Esta línea queda igual.
Espero te funcione,
saludos.