sig
  val low2high_class :
    JClassLow.jclass -> JCode.jcode JClass.interface_or_class
end