Runtime: make example program pass tests