to dump [ dumped ; dumped ]