Problem in xlat.c code