English symbolic debugger: תרגום לשפות אחרות