JCHCostAPI
class type sidechannelcheck_int = object ... end
class type costmodel_int = object ... end