> I could provide a test program for the test suite. Can you give an > example where runtime behaviour is checked (compilling is not the issue > here)? Wrong results shall stop with halt(1);