In __read_permission(T, X) change cast to (void) which might not be
legal for some compilers to a compiler attribute that explicitly tells
the compiler that it is unused so that it won't warn about this
variable.