Finalized revision of interpreter #4