michael@0: a = [];
michael@0: evaluate("if ('1234' + '' != (01  )) { var a = [];}");