/analysis/current/criterion/example_stack-push_pop/