Tests pass with zinc compiler