def METHOD_NAME(output_c_name: str, output_c_exe_name: str) -> None:
    """Compile the given C source file to produce the given executable."""
    logging.info("Compiling C source file with clang")
    compile_cmd = [
        C_COMPILER,
        "-I", CSMITH_HOME,
        "-o", output_c_exe_name,
        output_c_name]
    subprocess.run(
        compile_cmd,
        check=True,
        stdout=subprocess.DEVNULL,
        stderr=subprocess.DEVNULL)