debugging interpreter