package jazz.unsafe {
  class Counter;
  class Hashtable;
}