example for dump-based testing