[coreapi.codecs]
hal = hal_codec:HALCodec

