EXPLICIT_ZEXT option