void HiSax_shiftcards(int idx) 
static void HiSax_shiftcards(int idx) 
void HiSax_shiftcards(int idx){	int i;	for (i = idx; i < (HISAX_MAX_CARDS - 1); i++)		memcpy(&cards[i], &cards[i + 1], sizeof(cards[i]));}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/672c3fd9069e5a138f9d4afc9aeb5aa34aacce32/config.c/buggy/drivers/isdn/hisax/config.c