introduced likely_void