add a part of amb-interpretor