virgil_is_dead follows