virgil_is_dead follows these domains