test-z-resolve-E-compile-time