core_gather_headers()

gather_srcs(infrt_src SRCS
    types.cc
    utils.cc
    )
