/analysis/1174/criterion/example_stack-push_pop/