/* $OpenXM: OpenXM/src/k097/debug/buggy2.k,v 1.1 2001/01/08 05:26:51 takayama Exp $ */ Print(1+2); load("debug/buggy.k"); Print(1+1);