bugs of exercise 4.16 fixed
amb interpretor