test-z-resolve-A-compile-time