explain_virtual::=