RE: Problem in xlat.c code