#define XLAT_VERBOSE 1
#include "move_pages.c"