[gte525u]

Shouldn't that be (void)a;