re-export of shrimp