modeling downcast explicit

72