(library
 (name atdgen_codec_runtime)
 (public_name atdgen-codec-runtime))
