rewrite zeq, make it standalone
explore test results output technique