/analysis/1147/criterion/example_stack-push_pop/1000000/