a bug in virtual call exp that raises an assertion error.