Function refuse_unlinkable_with 

pub fn refuse_unlinkable_with(
    program: &CompiledProgram,
    interner: &Interner,
    backend: Backend,
    entries: &HostEntries,
) -> Result<(), String>

refuse_unlinkable, judging what the host’s own entries reach as well as Main — the same roots a module built with those entries lowers.