Hi, I want to declare a static variable that should be accessible from any method defined in any of the classes in klee/lib/Core. Where should I declare / define such a variable. -- Thanks and Regards, Sumit -------------- next part -------------- HTML attachment scrubbed and removed