core_gather_headers()

gather_srcs(infrt_src SRCS
    )
