value-reporting runs withour errors - not checked for correctness yet.