M 2^53 ; enrevers