val _ = Globals.interactive := true;