/* $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);