Use our own XLEN macro.